Metadata shorthands: {} aliases: [Partial integration] created: 2021-10-20 00:00:40 modified: 2021-11-12 01:47:14
shorthands: {} aliases: [Partial integration] created: 2021-10-20 00:00:40 modified: 2021-11-12 01:47:14
Follows from the product rule: